.
Si A es una matriz diagonizable, cuyo valor propio mayor en módulo está aislado, entonces, el método iterativo que se describe a continuación, converge a un vector propio asociado a dicho valor propio, como se establece en el teorema que sigue.
Teorema 5.4.1. Si los valores propios de A satisfacen
![]()
y si v1,v2,...,vn, denotan vectores propios linealmente independientes, asociados respectivamente a los valores propios anteriores, entonces la sucesión de vectores generada por
![]()
![]()
![]()
converge a ±
v1, cuando k ![]()
, siempre que la adivinanza inicial, z(0), tenga alguna componente en v1. La velocidad de esta convergencia será mayor, mientras menor
sea el cuociente
< 1.
Demostración. .
Como los vectores propios v1,v2,...,vn, forman una base de
n,
entonces z(0) =
i=1n
ivi,
con
1
0 para satisfacer la condición de tener alguna componente
en el primer vector propio. De este modo se tendrá que
|
|
(5.7) |
Por otra parte
![]()

![]()
y en general, se puede probar por inducción que
k > 0
![]()
Usando (5.7) en esta ecuación se obtiene

donde
denota
un signo.
De la ecuación (5.4.1) se deducen todas las afirmaciones del Teorema (5.4.1), que queda así demostrado. __
Hacemos ver que en cada iteración, se produce simultáneamente
una aproximación del valor propio
1. En
efecto, cualquiera sea el índice j de una
componente no nula del vector z(k-1), el cuociente
![]()
será una aproximación del valor propio que convergerá en la misma medida en que la sucesión de vectores producida por el método de la Potencia Iterada converja al vector propio. Para garantizar la división por una coordenada no nula se escoge el índice j donde se alcanza el máximo de los módulos de éstas, es decir,
![]()